Revert "theme/panel: Remove spacing between Activities and appmenu"

As minor as the visual change is, it's still a UI change.

This reverts commit 91c4c43a7d13bc4baf16cb7e487b83d0336c2fce.

diff --git a/data/theme/gnome-shell-sass/widgets/_panel.scss b/data/theme/gnome-shell-sass/widgets/_panel.scss
index 1f46507732e0e87fa48a7fa43354a0f000615d92..bf7e37db6a6aed137fd038df3a8ea68eacfe7df0 100644 (file)
--- a/data/theme/gnome-shell-sass/widgets/_panel.scss
+++ b/data/theme/gnome-shell-sass/widgets/_panel.scss
@@ -25,6 +25,11 @@ $panel_transition_duration: 250ms; // same as the overview transition duration
     }
   }
 
+  // spacing between activities, app menu and such
+  #panelLeft, #panelCenter {
+    spacing: $base_spacing;
+  }
+
   // the rounded outset corners
   .panel-corner {
     -panel-corner-radius: $panel_corner_radius;